21![Journal of Automated Reasoning 16: 321–353, 1996. c 1996 Kluwer Academic Publishers. Printed in the Netherlands. 321 Journal of Automated Reasoning 16: 321–353, 1996. c 1996 Kluwer Academic Publishers. Printed in the Netherlands. 321](https://www.pdfsearch.io/img/765b01fc9712438047b08b057079f458.jpg) | Add to Reading ListSource URL: www.cs.bu.edu- Date: 2001-01-30 15:44:51
|
---|
22![¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” ¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”](https://www.pdfsearch.io/img/e3ef03bc3c65690dd7e819631fe013f1.jpg) | Add to Reading ListSource URL: resources.mpi-inf.mpg.de- Date: 2013-08-19 07:45:49
|
---|
23![Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proof Pearl: Mechanizing the Textbook Proof of Huffman’s Algorithm Jasmin Christian Blanchette Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proof Pearl: Mechanizing the Textbook Proof of Huffman’s Algorithm Jasmin Christian Blanchette](https://www.pdfsearch.io/img/5603a99a5c6697332abb3bc617ad2ad3.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.de- Date: 2015-01-25 16:18:54
|
---|
24![Microsoft Word - BlankPage Microsoft Word - BlankPage](https://www.pdfsearch.io/img/ae33570b0d23690173b1bb9937b107d7.jpg) | Add to Reading ListSource URL: www.cs.miami.eduLanguage: English - Date: 2007-08-16 08:58:53
|
---|
25![SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany](https://www.pdfsearch.io/img/1c086f99a4e71c551c38fed2e6cb8053.jpg) | Add to Reading ListSource URL: www.dcs.bbk.ac.ukLanguage: English - Date: 2011-06-23 09:19:29
|
---|
26![Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨ Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨](https://www.pdfsearch.io/img/668e63456b14443e4d5888611bede104.jpg) | Add to Reading ListSource URL: www.dcs.bbk.ac.ukLanguage: English - Date: 2011-06-16 09:07:59
|
---|
27![Automated Critique of Sketched Mechanisms Automated Critique of Sketched Mechanisms](https://www.pdfsearch.io/img/d2f9e89cf0df597f89da9a0fdfed5ddd.jpg) | Add to Reading ListSource URL: silccenter.orgLanguage: English - Date: 2010-05-15 15:22:12
|
---|
28![TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab](https://www.pdfsearch.io/img/43106f2a8dadf420550e9e6b9a793454.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2015-05-06 07:44:21
|
---|
29![User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm](https://www.pdfsearch.io/img/a12237dca48408b0a3d32d48978438aa.jpg) | Add to Reading ListSource URL: matita.cs.unibo.itLanguage: English - Date: 2007-05-25 11:04:13
|
---|
30![MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2 MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2](https://www.pdfsearch.io/img/3ebdd1a558c306dd5b9bec7daa8d22aa.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-03-13 06:06:51
|
---|